
check:
	../../python.exe ../../Tools/scripts/texcheck.py whatsnew25.tex
